استفاده از Z توصیف، پالایش و اثبات
جیم وودکاک , Jim Woodcock , جیم دیویس , Jim Davies , زهرا کریمی , مرجان کائدی , فاطمه حسنوند
5
ناشر: دانشگاه شهرکرد، انتشارات
سال انتشار: 1402
شابک: 978-600-7997-87-1
زبان: Persian | English
موضوع:
زد (زبان برنامهنویسی کامپیوتر)
